Involving users in OPAC interface design: Perspective from a UK study

This is the post-print versoin of the Article. The official published version can be accessed from the link below - Copyright @ 2007 SpringerThe purpose of this study was to determine user suggestions for a typical OPAC (Online Public Library Catalogue) application’s functionality and features. An experiment was undertaken to find out the type of interactions features that users prefer to have in an OPAC. The study revealed that regardless of users’ Information Technology (IT) backgrounds, their functionality expectations of OPACs are the same. However, based on users’ previous experiences with OPACs, their requirements with respect to specific features may change. Users should be involved early in the OPAC development cycle process in order to ensure usable and functional interface

Difficulties for detecting the singular points with commercial programs in space structure and a method for determining the real capacity of the structures

For design purposes, the stability of any structure being designed is of paramount importance. The fact that it is possible to perform an analysis on a space structure which shows that the stresses in that structure are all below those permissible for the materials used in its construction, is in itself no guarantee that when the structure is loaded it will not collapse. In order to determine this, it is necessary to find out if the structure is stable under the action of the applied loads. The secondary paths, especially in unstable buckling can play the most important role in collapse of the structure [2]. Analytical solutions for space trusses of the desired type which cover both nonlinear deformation and stability are difficult to find in the literature. In order to provide the desired benchmark, the complete theory and the exacl soulution for the nonlinear deformation and the stability of a regular tripod subjected to a load which acts in the direction of its axis of symmetry is presented in this work [1]. In this paper the dificulies for analysis the space structure in detecting the singular point and obtaining the real load carying capacity of these structures has been investigated and finaly a method for overcome to this problem has been presented. The numerical predictions in presented method has been verified with analytical soulotion in a space truss and and Laboratory results in a space frame

Central Charge Reduction and Spacetime Statistics in the Fractional Superstring

Fractional superstrings in the tensor-product formulation experience ``internal projections'' which reduce their effective central charges. Simple expressions for the characters of the resulting effective worldsheet theory are found. All states in the effective theory can be consistently assigned definite spacetime statistics. The projection to the effective theory is shown to be described by the action of a dimension-three current in the original tensor-product theory.Comment: 11 pages (LaTeX), CLNS 92/1168, McGill/92-41 (minor typos corrected

Conformal Invariance and Degrees of Freedom in the QCD String

We demonstrate that the Hagedorn-like growth of the number of observed meson states can be used to constrain the degrees of freedom of the underlying effective QCD string. We find that the temperature relevant for such string theories is not given by the usual Hagedorn value $T_H\approx 160$ MeV, but is considerably higher. This resolves an apparent conflict with the results from a static quark-potential analysis, and suggests that conformal invariance and modular invariance are indeed reflected in the hadronic spectrum. We also find that the $D_\perp=2$ scalar string is in excellent agreement with data.Comment: 13 pages (Standard LaTeX); --> replaced version emphasizes new results, and agrees with version to appear in Physical Review Letters (Jan 1994

Duality in Non-Trivially Compactified Heterotic Strings

We study the implications of duality symmetry on the analyticity properties of the partition function as it depends upon the compactification length. In order to obtain non-trivial compactifications, we give a physical prescription to get the Helmholtz free energy for any heterotic string supersymmetric or not. After proving that the free energy is always invariant under the duality transformation $R\rightarrow \alpha^{'}/(4R)$ and getting the zero temperature theory whose partition function corresponds to the Helmholtz potential, we show that the self-dual point $R_{0}=\sqrt{\alpha^{'}}/2$ is a generic singularity as the Hagedorn one. The main difference between these two critical compactification radii is that the term producing the singularity at the self-dual point is finite for any $R \neq R_{0}$. We see that this behavior at $R_{0}$ actually implies a loss of degrees of freedom below that point.Comment: (Preprint No. FTUAM-92/12) 17 page

Analytic curves in algebraic varieties over number fields

We establish algebraicity criteria for formal germs of curves in algebraic varieties over number fields and apply them to derive a rationality criterion for formal germs of functions, which extends the classical rationality theorems of Borel-Dwork and P\'olya-Bertrandias valid over the projective line to arbitrary algebraic curves over a number field. The formulation and the proof of these criteria involve some basic notions in Arakelov geometry, combined with complex and rigid analytic geometry (notably, potential theory over complex and $p$-adic curves). We also discuss geometric analogues, pertaining to the algebraic geometry of projective surfaces, of these arithmetic criteria.Comment: 55 pages. To appear in "Algebra, Arithmetic, and Geometry: In Honor of Y.i. Manin", Y. Tschinkel & Yu. Manin editors, Birkh\"auser, 200

Finite Temperature Bosonic Closed Strings: Thermal Duality and the Kosterlitz Thouless Transition

We elucidate the properties of a gas of free closed bosonic strings in thermal equilibrium. Our starting point is the intensive generating functional of connected one-loop closed vacuum string graphs given by the Polyakov path integral. Invariance of the path integral under modular transformations gives a thermal duality invariant expression for the free energy of free closed strings at finite temperature. The free bosonic string gas exhibits a self-dual Kosterlitz-Thouless phase transition. The thermodynamic potentials of the gas of free bosonic closed strings are shown to exhibit an infinite hierarchy of thermal self-duality relations. Note Added (Sep 2005).Comment: 22pgs. Note Added (Sep 2005), clarifying conclusion

Designing Proof of Human-work Puzzles for Cryptocurrency and Beyond

We introduce the novel notion of a Proof of Human-work (PoH) and present the first distributed consensus protocol from hard Artificial Intelligence problems. As the name suggests, a PoH is a proof that a {\em human} invested a moderate amount of effort to solve some challenge. A PoH puzzle should be moderately hard for a human to solve. However, a PoH puzzle must be hard for a computer to solve, including the computer that generated the puzzle, without sufficient assistance from a human. By contrast, CAPTCHAs are only difficult for other computers to solve --- not for the computer that generated the puzzle. We also require that a PoH be publicly verifiable by a computer without any human assistance and without ever interacting with the agent who generated the proof of human-work. We show how to construct PoH puzzles from indistinguishability obfuscation and from CAPTCHAs. We motivate our ideas with two applications: HumanCoin and passwords. We use PoH puzzles to construct HumanCoin, the first cryptocurrency system with human miners. Second, we use proofs of human work to develop a password authentication scheme which provably protects users against offline attacks